Software for Evaluating Relevance of Steps in Algebraic Transformations

Steps toward the weak higher category of weak higher categories in the globular setting

We start this article by rebuilding higher operads of weak higher transformations, and correct those in cite{Cambat}. As in cite{Cambat} we propose an operadic approach for weak higher $n$-transformations, for each $ninmathbb{N}$, where such weak higher $n$-transformations are seen as algebras for specific contractible higher operads. The last chapter of this article asserts that, up to precise...

A Software Development Model for the Automatic Generation of Classes

In this paper it is presented a software development model based on transformations that allows to derive, in an automatic way, classes in object-oriented programming languages (Ada 95, C++, Eiffel and Java) starting from formal specifications. The set of transformations that conforms the software development model are a systematic steps, which starts from the algebraic specification of a type....

On One-Sided Ideals of Rings of Linear Transformations

Addendum to: "Infinite-dimensional versions of the primary, cyclic and Jordan decompositions", by M. Radjabalipour

In his paper mentioned in the title, which appears in the same issue of this journal, Mehdi Radjabalipour derives the cyclic decomposition of an algebraic linear transformation. A more general structure theory for linear transformations appears in Irving Kaplansky's lovely 1954 book on infinite abelian groups. We present a translation of Kaplansky's results for abelian groups into the terminolo...

A nonlinear second order field equation – similarity solutions and relation to a Bellmann-type equation - Applications to Maxwellian Molecules

In this paper Lie’s formalism is applied to deduce classes of solutions of a nonlinear partial differential equation (nPDE) of second order with quadratic nonlinearity. The equation has the meaning of a field equation appearing in the formulation of kinetic models. Similarity solutions and transformations are given in a most general form derived to the first time in terms of reciprocal Jacobian...